Simulating Internet Scale Topologies with Metarouting

نویسندگان

  • Steve DiBenedetto
  • Andrew Stone
  • Michelle Strout
  • Dan Massey
چکیده

Research on Internet routing algorithms can benefit greatly by easily repeatable large-scale simulations conducted on realistic network topologies. Unfortunately, it is a challenging task to develop clear and unambiguous definitions of a routing protocol and its associated policies. Simulations often only operate on small scale topologies. Even if simulators could handle very large scale topologies, it is unclear whether we have accurate topologies that also capture policies. This paper leverage existing work on metarouting[6] to provide a large scale simulator. The simulator takes as input a topology and routing protocol/policy described using RAML[6]. We use a RAML description of BGP to evaluate the accuracy of some of the most popular AS level topologies. Our results reveal both strengths and weaknesses in these topologies. In particular, the results suggest the addition of a siblings policy actually reduces accuracy and topologies could improve by instead incorporating rules for selective prefix announcement.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Impact of Topology on BGP Convergence

For a few decades, the Boarder Gateway Protocol (BGP) realized Internet to be robust and acceptably stable despite its overwhelming growth. Although it is a fairly simple peer to peer protocol, yet because of the scale of Internet at which BGP is deployed, it is very difficult to understand behavior of BGP. It is considered a complex task to state what trends BGP may show if different internal ...

متن کامل

Formalizing Metarouting in PVS

In this paper, we extend PVS specification logic with abstract metarouting theory to aid the development of complex routing protocol models based on metarouting, which is an algebraic framework for specifying routing protocols in a restricted fashion such that the protocol is guaranteed to converge. Our formalization of metarouting theory utilizes the theory-interpretation extensions of PVS. Ou...

متن کامل

Testing Large Scale BGP Security in Replayable Network Environments

Understanding the operation of BGP and providing for its security is essential to the well-being of the Internet. To date, however, simulating every autonomous system comprising the Internet, in order to test proposals and security solutions, has been infeasible. We have developed lseb, a large scale BGP simulator, that generates realistic network topologies from routing data, and provides the ...

متن کامل

A Game Theoretic Model for AS Topology Formation with the Scale-Free Property

Recent studies investigating the Internet topology reported that inter Autonomous System (AS) topology exhibits a power-law degree distribution which is known as the scale-free property. Although there are many models to generate scale-free topologies, no game theoretic approaches have been proposed yet. In this paper, we propose the new dynamic game theoretic model for the AS level Internet to...

متن کامل

Adding Geographical Embedding to AS Topology Generation

To study large-scale effects on the Internet various models have been introduced to generate Internet-like autonomous system (AS) topologies. The models for large-scale AS topologies have been focused on replicating structural graph properties. One of the most promising model is the Positive Feedback Model model (PFP). These models however lack the ability to generate routing path and realistic

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010